Order:
  1.  23
    Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.
  2.  27
    Infinitary Action Logic with Multiplexing.Stepan L. Kuznetsov & Stanislav O. Speranski - 2023 - Studia Logica 111 (2):251-280.
    Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to be between complete first-order arithmetic and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  1
    Reasoning From Hypotheses in *-Continuous Action Lattices.Stepan L. Kuznetsov, Tikhon Pshenitsyn & Stanislav O. Speranski - forthcoming - Journal of Symbolic Logic:1-39.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark